Enhancing online forms: Use format specifications for fields with format restrictions to help respondents

1.C Physical Format Specifications for BD-ROM

OpenDocument Format Metadata Use Cases

An author wishes to make more information available about a binary object in a hierarchical format that allows a user using reading software to access a very high level description such as is usually seen as a caption or more detailed information that would be available if the user were not using reading software. Charts, graphs, photographs, maps and similar materials often contain complex inf...

Static Analysis of File-Processing Programs using File Format Specifications

Programs that process data that reside in files are widely used in varied domains, such as banking, healthcare, and web-traffic analysis. Precise static analysis of these programs in the context of software verification and transformation tasks is a challenging problem. Our key insight is that static analysis of file-processing programs can be made more useful if knowledge of the input file for...

On logical specifications of the Argument Interchange Format

The Argument Interchange Format (AIF) has been devised in order to support the interchange of ideas and data between different projects and applications in the area of computational argumentation. In order to support such interchange, an abstract ontology for argumentation is presented, which serves as an interlingua between various more concrete argumentation languages. In this paper, we aim t...

Online Identification for the Automated Threaded Fastening Using GUI Format

Screw insertions are a common joining process and are especially popular in assemblies that need to be disassembled for repair, maintenance or relocation. A human performing screw fastening will typically use four stages (L.D. Seneviratne et al., 1992): 1) Alignment: the holes in the mated parts are aligned and firmly held together. 2) Positioning: the screw is globally positioned with respect ...